DIMACS Format - pogi-log

DIMACS Format

SATソルバ、SMTソルバに読み込ませるファイルフォーマット

code:DIMACS Format

c

c start with comments

c

c

p cnf 5 3

1 -5 4 0

-1 5 3 4 0

-3 -4 0

c: 1行コメント

p: 問題行。問題のフォーマット、引数的なものを書く。

CNF Formatのときp FORMAT VARIABLES CLAUSES

SAT formatのときp FORMAT VARIABLES

詳しくは『Satisfiability Suggested Format』を見る

確認用

Q. DIMACS Format

参考

benchmarks submission guidelines. 2009-01-13

『Satisfiability Suggested Format』

メモ

https://jix.github.io/varisat/manual/0.2.0/formats/dimacs.html